Institute of Theoretical Computer Science
Welcome to the website of the Institute for Theoretical Computer Science. Our institute deals with the theoretical foundations of computer science, with the following topics being the main focus:
Computability and Complexity Theory
Graph Theory
Algorithms and Data Structures
Logic, specifically SAT-Solving
Sequence Analysis and Data Compression
Bioinformatics
Quantum Computing
Cryptology
In addition to these areas, we are also interested in other aspects of theoretical computer science. You can get a first impression of the institute from the institute poster or the galery next to it - our research in pictures.
Written Examinations
First examination period:
Algorithms and Data Structures - 17.02.2026 from 11 a.m. in Hall 2,3,20,21,22
Foundations of Theoretical Computer Science - 17.02.2026 from 2 p.m. in Hall 3,20,21,22
Introduction to Bioinformatics - 20.02.2026 from 9 a.m. in Room O27/123
Second examination period:
Algorithms and Data Structures - 31.03.2026 from 9 a.m. in Hall 20,21,22,4/5
Foundations of Theoretical Computer Science - 31.03.2026 from 12 p.m. in Hall 1,20,21,22
Introduction to Bioinformatics - 10.04.2026 from 10 a.m. in Room O27/123
Please note: Registration for written exams must be completed no later than five days before the examination date (e.g., examination date February 21, last registration date: February 16). Late registrations are not possible.
For the exams “Algorithms and Data Structures” and “Fundamentals of Theoretical Computer Science,” a “DIN A4 sheet with handwritten notes on both sides” is permitted as an aid.
The lecture hall assignments for the two exams will be announced on Moodle one day in advance. Please arrive about 15 minutes early so that the exam can begin on time and bring your student ID card with you. If your ID card does not have a photo, please also bring another form of identification with you.
Translated with DeepL.com (free version)